ROUND-OFF ERRORS IN FLOATING-POINT ADDITIONS
نویسندگان
چکیده
منابع مشابه
Rigorous Estimation of Floating-Point Round-off Errors with Symbolic Taylor Expansions
Rigorous estimation of maximum floating-point round-off errors is an important capability central to many formal verification tools. Unfortunately, available techniques for this task often provide overestimates. Also, there are no available rigorous approaches that handle transcendental functions. We have developed a new approach called Symbolic Taylor Expansions that avoids this difficulty, an...
متن کاملWanted: Floating-Point Add Round-off Error instruction
We propose a new instruction (FPADDRE) that computes the round-off error in floating-point addition. We explain how this instruction benefits high-precision arithmetic operations in applications where double precision is not sufficient. Performance estimates on Intel Haswell, Intel Skylake, and AMD Steamroller processors, as well as Intel Knights Corner co-processor, demonstrate that such an in...
متن کاملOn Floating Point Errors in Cholesky
Let H be a symmetric positive de nite matrix. Consider solving the linear system Hx = b using Cholesky, forward and back substitution in the standard way, yielding a computed solution x̂. The usual oating point error analysis says that the relative error kx x̂k2=kx̂k2 = O(") (H), where (H) is the condition number of H . Now write H = DAD, where D is diagonal and A has unit diagonal; then (A) n min...
متن کاملOn Floating Point Errors in CholeskyJames
Let H be a symmetric positive deenite matrix. Consider solving the linear system Hx = b using Cholesky, forward and back substitution in the standard way, yielding a computed solution ^ x. The usual oating point error analysis says that the relative error kx ? ^ xk 2 =k^ xk 2 = O(")(H), where (H) is the condition number of H. Now write H = DAD, where D is diagonal and A has unit diagonal; then ...
متن کاملReducing Round-off Error in an ADSL Modem with Block-Floating-Point Structure
In this paper, we report an issue first observed when using block-floating-point calculations in a time equalizer of an ADSL modem. We believe this important phenomenon have been out of the sight of researchers till now; and show that neglecting this issue may increase the round-off error significantly and reduce the SNR of a system. The simulation results suggest that ignoring this issue may i...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Memoirs of the Faculty of Science, Kyushu University. Series A, Mathematics
سال: 1985
ISSN: 0373-6385
DOI: 10.2206/kyushumfs.39.209